Search results for "resolution method"

showing 3 items of 3 documents

Introduction to Mathematical Logic, Edition 2021

2021

Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).

resolution methodHerbrand's theoremmodel theoryComputer Science::Logic in Computer Sciencepredicate logicmathematical logic:MATHEMATICS::Algebra geometry and mathematical analysis::Mathematical logic [Research Subject Categories]propositional logictableaux methodcompleteness theorems
researchProduct

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

first order logiclogicresolution methodpredicate logicMathematicsofComputing_GENERALresolutionintuitionistic logicHerbrand theorempropositional logicmodel theoryconstructive logicData_FILESComputingMilieux_COMPUTERSANDEDUCATIONnormal formsmathematical logicHardware_ARITHMETICANDLOGICSTRUCTUREScompleteness theorem
researchProduct

Servicios de intermediación en línea en Europa : diseño de un sistema específico de solución de controversias

2021

Este trabajo analiza el sistema de solución de controversias específicamente diseñado, con la introducción de alternativas a la jurisdicción, en el Reglamento (UE) 2019/1150 sobre el fomento de la equidad y la transparencia para los usuarios profesionales de servicios de intermediación en línea, que ha entrado recientemente en vigor.

:CIENCIAS JURÍDICAS [UNESCO]online intermediate servicesOnline platformsque ha entrado recientemente en vigor. This paper analyses the specific designed dispute resolution systemthe right to take judicial action 560 585dispute resolution methodsinternal complainthandling systemwith the introduction of alternatives to jurisdictioncon la introducción de alternativas a la jurisdicciónin the Regulation (EU) 2019/1150 on promoting fairness and transparency for business users of online intermediation services2070-8157 22082 Revista Boliviana de Derecho 584568 2021 32 8055231 Servicios de intermediación en línea en Europa diseño de un sistema específico de solución de controversias Fernández MasiáUNESCO::CIENCIAS JURÍDICASen el Reglamento (UE) 2019/1150 sobre el fomento de la equidad y la transparencia para los usuarios profesionales de servicios de intermediación en líneaEnrique Este trabajo analiza el sistema de solución de controversias específicamente diseñadomediationhas recently entered into force
researchProduct